package es.deusto.ingenieria.aike.time;

import java.util.List;

import es.deusto.ingenieria.aike.csp.formulation.Variable;

public class Digit extends Variable<Integer> {
	
	public Digit(int column, List<Integer> domainValues) 
	{
		super(String.valueOf(column), domainValues);
	}
	
	public String toString() {
		String result = "Digit " + this.getName() + " = ";

		if (this.getValue() != null) {
			result += this.getValue();
		} else {
			result += "?";
		}

		return result;
	}
}
